import { Equal, Expect } from "@type-challenges/utils";
// 当类型参数为联合类型，且在extends左边，每个元素会被单独处理然后拼接在一起
type MyExclude<T, U> = T extends U ? never : T;
type cases = [
  Expect<Equal<MyExclude<"a" | "b" | "c", "a">, Exclude<"a" | "b" | "c", "a">>>,
  Expect<
    Equal<
      MyExclude<"a" | "b" | "c", "a" | "b">,
      Exclude<"a" | "b" | "c", "a" | "b">
    >
  >,
  Expect<
    Equal<
      MyExclude<string | number | (() => void), Function>,
      Exclude<string | number | (() => void), Function>
    >
  >
];
